Instance Verification Kit (IVK)

spin lock @ [43635+22+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
xudc_ctrl_ep_handler [53140+20+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_done [18349+9+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep0_in [51083+11+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep0_out [49747+12+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_dequeue [33276+15+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_disable [27881+15+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_queue [31789+13+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_handle_setup [48028+17+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_irq [54546+8+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_nonctrl_ep_handler [53784+23+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_nuke [22925+9+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_read_fifo [19337+14+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_startup_handler [41246+20+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_stop [39703+9+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_stop_activity [38331+18+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_write_fifo [21569+15+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]